<?php

if (!extension_loaded('fileinfo')) {
    die("skip fileinfo extension not loaded");
}

?>
